Optimal. Leaf size=233 \[ -\frac{a^{4/3} (7 A b-10 a B) \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2\right )}{18 b^{13/3}}+\frac{a^{4/3} (7 A b-10 a B) \log \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{9 b^{13/3}}-\frac{a^{4/3} (7 A b-10 a B) \tan ^{-1}\left (\frac{\sqrt [3]{a}-2 \sqrt [3]{b} x}{\sqrt{3} \sqrt [3]{a}}\right )}{3 \sqrt{3} b^{13/3}}-\frac{x^7 (7 A b-10 a B)}{21 a b^2}+\frac{x^4 (7 A b-10 a B)}{12 b^3}-\frac{a x (7 A b-10 a B)}{3 b^4}+\frac{x^{10} (A b-a B)}{3 a b \left (a+b x^3\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.138068, antiderivative size = 233, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 8, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.4, Rules used = {457, 302, 200, 31, 634, 617, 204, 628} \[ -\frac{a^{4/3} (7 A b-10 a B) \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2\right )}{18 b^{13/3}}+\frac{a^{4/3} (7 A b-10 a B) \log \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{9 b^{13/3}}-\frac{a^{4/3} (7 A b-10 a B) \tan ^{-1}\left (\frac{\sqrt [3]{a}-2 \sqrt [3]{b} x}{\sqrt{3} \sqrt [3]{a}}\right )}{3 \sqrt{3} b^{13/3}}-\frac{x^7 (7 A b-10 a B)}{21 a b^2}+\frac{x^4 (7 A b-10 a B)}{12 b^3}-\frac{a x (7 A b-10 a B)}{3 b^4}+\frac{x^{10} (A b-a B)}{3 a b \left (a+b x^3\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 457
Rule 302
Rule 200
Rule 31
Rule 634
Rule 617
Rule 204
Rule 628
Rubi steps
\begin{align*} \int \frac{x^9 \left (A+B x^3\right )}{\left (a+b x^3\right )^2} \, dx &=\frac{(A b-a B) x^{10}}{3 a b \left (a+b x^3\right )}+\frac{(-7 A b+10 a B) \int \frac{x^9}{a+b x^3} \, dx}{3 a b}\\ &=\frac{(A b-a B) x^{10}}{3 a b \left (a+b x^3\right )}+\frac{(-7 A b+10 a B) \int \left (\frac{a^2}{b^3}-\frac{a x^3}{b^2}+\frac{x^6}{b}-\frac{a^3}{b^3 \left (a+b x^3\right )}\right ) \, dx}{3 a b}\\ &=-\frac{a (7 A b-10 a B) x}{3 b^4}+\frac{(7 A b-10 a B) x^4}{12 b^3}-\frac{(7 A b-10 a B) x^7}{21 a b^2}+\frac{(A b-a B) x^{10}}{3 a b \left (a+b x^3\right )}+\frac{\left (a^2 (7 A b-10 a B)\right ) \int \frac{1}{a+b x^3} \, dx}{3 b^4}\\ &=-\frac{a (7 A b-10 a B) x}{3 b^4}+\frac{(7 A b-10 a B) x^4}{12 b^3}-\frac{(7 A b-10 a B) x^7}{21 a b^2}+\frac{(A b-a B) x^{10}}{3 a b \left (a+b x^3\right )}+\frac{\left (a^{4/3} (7 A b-10 a B)\right ) \int \frac{1}{\sqrt [3]{a}+\sqrt [3]{b} x} \, dx}{9 b^4}+\frac{\left (a^{4/3} (7 A b-10 a B)\right ) \int \frac{2 \sqrt [3]{a}-\sqrt [3]{b} x}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx}{9 b^4}\\ &=-\frac{a (7 A b-10 a B) x}{3 b^4}+\frac{(7 A b-10 a B) x^4}{12 b^3}-\frac{(7 A b-10 a B) x^7}{21 a b^2}+\frac{(A b-a B) x^{10}}{3 a b \left (a+b x^3\right )}+\frac{a^{4/3} (7 A b-10 a B) \log \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{9 b^{13/3}}-\frac{\left (a^{4/3} (7 A b-10 a B)\right ) \int \frac{-\sqrt [3]{a} \sqrt [3]{b}+2 b^{2/3} x}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx}{18 b^{13/3}}+\frac{\left (a^{5/3} (7 A b-10 a B)\right ) \int \frac{1}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx}{6 b^4}\\ &=-\frac{a (7 A b-10 a B) x}{3 b^4}+\frac{(7 A b-10 a B) x^4}{12 b^3}-\frac{(7 A b-10 a B) x^7}{21 a b^2}+\frac{(A b-a B) x^{10}}{3 a b \left (a+b x^3\right )}+\frac{a^{4/3} (7 A b-10 a B) \log \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{9 b^{13/3}}-\frac{a^{4/3} (7 A b-10 a B) \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2\right )}{18 b^{13/3}}+\frac{\left (a^{4/3} (7 A b-10 a B)\right ) \operatorname{Subst}\left (\int \frac{1}{-3-x^2} \, dx,x,1-\frac{2 \sqrt [3]{b} x}{\sqrt [3]{a}}\right )}{3 b^{13/3}}\\ &=-\frac{a (7 A b-10 a B) x}{3 b^4}+\frac{(7 A b-10 a B) x^4}{12 b^3}-\frac{(7 A b-10 a B) x^7}{21 a b^2}+\frac{(A b-a B) x^{10}}{3 a b \left (a+b x^3\right )}-\frac{a^{4/3} (7 A b-10 a B) \tan ^{-1}\left (\frac{\sqrt [3]{a}-2 \sqrt [3]{b} x}{\sqrt{3} \sqrt [3]{a}}\right )}{3 \sqrt{3} b^{13/3}}+\frac{a^{4/3} (7 A b-10 a B) \log \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{9 b^{13/3}}-\frac{a^{4/3} (7 A b-10 a B) \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2\right )}{18 b^{13/3}}\\ \end{align*}
Mathematica [A] time = 0.13434, size = 203, normalized size = 0.87 \[ \frac{14 a^{4/3} (10 a B-7 A b) \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2\right )+\frac{84 a^2 \sqrt [3]{b} x (a B-A b)}{a+b x^3}-28 a^{4/3} (10 a B-7 A b) \log \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )+28 \sqrt{3} a^{4/3} (10 a B-7 A b) \tan ^{-1}\left (\frac{1-\frac{2 \sqrt [3]{b} x}{\sqrt [3]{a}}}{\sqrt{3}}\right )+63 b^{4/3} x^4 (A b-2 a B)+252 a \sqrt [3]{b} x (3 a B-2 A b)+36 b^{7/3} B x^7}{252 b^{13/3}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.017, size = 288, normalized size = 1.2 \begin{align*}{\frac{B{x}^{7}}{7\,{b}^{2}}}+{\frac{A{x}^{4}}{4\,{b}^{2}}}-{\frac{B{x}^{4}a}{2\,{b}^{3}}}-2\,{\frac{aAx}{{b}^{3}}}+3\,{\frac{{a}^{2}Bx}{{b}^{4}}}-{\frac{{a}^{2}Ax}{3\,{b}^{3} \left ( b{x}^{3}+a \right ) }}+{\frac{{a}^{3}xB}{3\,{b}^{4} \left ( b{x}^{3}+a \right ) }}+{\frac{7\,A{a}^{2}}{9\,{b}^{4}}\ln \left ( x+\sqrt [3]{{\frac{a}{b}}} \right ) \left ({\frac{a}{b}} \right ) ^{-{\frac{2}{3}}}}-{\frac{7\,A{a}^{2}}{18\,{b}^{4}}\ln \left ({x}^{2}-\sqrt [3]{{\frac{a}{b}}}x+ \left ({\frac{a}{b}} \right ) ^{{\frac{2}{3}}} \right ) \left ({\frac{a}{b}} \right ) ^{-{\frac{2}{3}}}}+{\frac{7\,A{a}^{2}\sqrt{3}}{9\,{b}^{4}}\arctan \left ({\frac{\sqrt{3}}{3} \left ( 2\,{x{\frac{1}{\sqrt [3]{{\frac{a}{b}}}}}}-1 \right ) } \right ) \left ({\frac{a}{b}} \right ) ^{-{\frac{2}{3}}}}-{\frac{10\,B{a}^{3}}{9\,{b}^{5}}\ln \left ( x+\sqrt [3]{{\frac{a}{b}}} \right ) \left ({\frac{a}{b}} \right ) ^{-{\frac{2}{3}}}}+{\frac{5\,B{a}^{3}}{9\,{b}^{5}}\ln \left ({x}^{2}-\sqrt [3]{{\frac{a}{b}}}x+ \left ({\frac{a}{b}} \right ) ^{{\frac{2}{3}}} \right ) \left ({\frac{a}{b}} \right ) ^{-{\frac{2}{3}}}}-{\frac{10\,B{a}^{3}\sqrt{3}}{9\,{b}^{5}}\arctan \left ({\frac{\sqrt{3}}{3} \left ( 2\,{x{\frac{1}{\sqrt [3]{{\frac{a}{b}}}}}}-1 \right ) } \right ) \left ({\frac{a}{b}} \right ) ^{-{\frac{2}{3}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.80624, size = 636, normalized size = 2.73 \begin{align*} \frac{36 \, B b^{3} x^{10} - 9 \,{\left (10 \, B a b^{2} - 7 \, A b^{3}\right )} x^{7} + 63 \,{\left (10 \, B a^{2} b - 7 \, A a b^{2}\right )} x^{4} - 28 \, \sqrt{3}{\left (10 \, B a^{3} - 7 \, A a^{2} b +{\left (10 \, B a^{2} b - 7 \, A a b^{2}\right )} x^{3}\right )} \left (\frac{a}{b}\right )^{\frac{1}{3}} \arctan \left (\frac{2 \, \sqrt{3} b x \left (\frac{a}{b}\right )^{\frac{2}{3}} - \sqrt{3} a}{3 \, a}\right ) + 14 \,{\left (10 \, B a^{3} - 7 \, A a^{2} b +{\left (10 \, B a^{2} b - 7 \, A a b^{2}\right )} x^{3}\right )} \left (\frac{a}{b}\right )^{\frac{1}{3}} \log \left (x^{2} - x \left (\frac{a}{b}\right )^{\frac{1}{3}} + \left (\frac{a}{b}\right )^{\frac{2}{3}}\right ) - 28 \,{\left (10 \, B a^{3} - 7 \, A a^{2} b +{\left (10 \, B a^{2} b - 7 \, A a b^{2}\right )} x^{3}\right )} \left (\frac{a}{b}\right )^{\frac{1}{3}} \log \left (x + \left (\frac{a}{b}\right )^{\frac{1}{3}}\right ) + 84 \,{\left (10 \, B a^{3} - 7 \, A a^{2} b\right )} x}{252 \,{\left (b^{5} x^{3} + a b^{4}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.58968, size = 153, normalized size = 0.66 \begin{align*} \frac{B x^{7}}{7 b^{2}} + \frac{x \left (- A a^{2} b + B a^{3}\right )}{3 a b^{4} + 3 b^{5} x^{3}} + \operatorname{RootSum}{\left (729 t^{3} b^{13} - 343 A^{3} a^{4} b^{3} + 1470 A^{2} B a^{5} b^{2} - 2100 A B^{2} a^{6} b + 1000 B^{3} a^{7}, \left ( t \mapsto t \log{\left (- \frac{9 t b^{4}}{- 7 A a b + 10 B a^{2}} + x \right )} \right )\right )} - \frac{x^{4} \left (- A b + 2 B a\right )}{4 b^{3}} + \frac{x \left (- 2 A a b + 3 B a^{2}\right )}{b^{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.12912, size = 329, normalized size = 1.41 \begin{align*} -\frac{\sqrt{3}{\left (10 \, \left (-a b^{2}\right )^{\frac{1}{3}} B a^{2} - 7 \, \left (-a b^{2}\right )^{\frac{1}{3}} A a b\right )} \arctan \left (\frac{\sqrt{3}{\left (2 \, x + \left (-\frac{a}{b}\right )^{\frac{1}{3}}\right )}}{3 \, \left (-\frac{a}{b}\right )^{\frac{1}{3}}}\right )}{9 \, b^{5}} + \frac{{\left (10 \, B a^{3} - 7 \, A a^{2} b\right )} \left (-\frac{a}{b}\right )^{\frac{1}{3}} \log \left ({\left | x - \left (-\frac{a}{b}\right )^{\frac{1}{3}} \right |}\right )}{9 \, a b^{4}} - \frac{{\left (10 \, \left (-a b^{2}\right )^{\frac{1}{3}} B a^{2} - 7 \, \left (-a b^{2}\right )^{\frac{1}{3}} A a b\right )} \log \left (x^{2} + x \left (-\frac{a}{b}\right )^{\frac{1}{3}} + \left (-\frac{a}{b}\right )^{\frac{2}{3}}\right )}{18 \, b^{5}} + \frac{B a^{3} x - A a^{2} b x}{3 \,{\left (b x^{3} + a\right )} b^{4}} + \frac{4 \, B b^{12} x^{7} - 14 \, B a b^{11} x^{4} + 7 \, A b^{12} x^{4} + 84 \, B a^{2} b^{10} x - 56 \, A a b^{11} x}{28 \, b^{14}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]